logic programming

Combinatory logic is proposed to be a mathematical foundation of the semantics of programming languages.

本文提出以合成逻辑（Combinatory logic）作为程序设计语言语义学的数学基础。

互联网摘选

The article describes the small multipurpose programming logic module LOGO!

介绍了西门子公司生产的小型通用逻辑控制模块LOGO！

互联网摘选

Based on the analysis of the principle of digital logic analyzer circuit, this paper discusses the FPGA implementation method of its flip-flop circuit module and presents some programming of part circuits.

在分析数字逻辑分析仪触发电路工作原理的基础上，讨论了其触发电路模块的FPGA实现方法，给出了部分电路的程序设计。

互联网摘选

NET pages use a compiled, event-driven programming model that improves performance and enables the separation of application logic and user interface.

NET使用编译的、事件驱动编程模型从而提高运行速度和分离应用程序逻辑和用户界面。

互联网摘选

We introduce automatic reasoning and logic programming in Chapter 9.

第九章介绍自动推理和逻辑编程.

互联网摘选

For solving the mathematic model, this paper designs an improved genetic algorithm based on fuzzy logic theory, and achieve the programming of improved genetic algorithm and simulation with MATLAB.

为求解数学模型，本文设计了一种基于模糊逻辑理论的遗传算法，并利用MATLAB实现了遗传算法的编程和玻璃基板搬运机器人的实例仿真。

互联网摘选

Inductive logic programming was defined as the intersection of machine learning and logic programming.

归纳逻辑程序设计是机器学习与逻辑程序设计的交叉领域.

网络文摘精选

But programming automatic routines requires solving logic puzzles the likes of which you see on the LSAT: If the hub senses A during B time of day, then it will do C, but only if D isn't around.

但编写自动化的日常事务需要解决一些类似于法学院入学考试的逻辑题：如果控制中心在一天的A时刻感知到B事件，那么它将执行C任务，但前提是D事件没有发生。

互联网摘选

Design electrical lighting and motion control systems, including control logic programming and harness layout.

设计电气照明和控制系统, 包括控制逻辑程序和动力设计.

互联网摘选

The Declarative Semantics of Logic Programming Language G(?) del

逻辑程序设计语言G（？）del的说明性语义

互联网摘选

Denotational semantics describes the semantics of a programming language in afunctional way, but the first-order temporal logic expresses the semantics of a prog-ramming language in a logical way.

指称语义学是以函数的形式来表达程序的语义，一阶时态逻辑是以逻辑方式表达程序的语义。

互联网摘选